$\forall$${\it es}$:ES, $p$:(E$\rightarrow$(E + Top)). causal{-}weak{-}predecessor(${\it es}$;$p$) $\in$ $\mathbb{P}$